Sir John Betjeman's ornate gravestone.